The Grammar According to West
dwest.web.illinois.edu·7h·
Discuss: Hacker News
🔬Lean
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·2h·
Discuss: Hacker News
🖋Typography
FLINT: Fast Library for Number Theory
flintlib.org·2d
🧮Algebraic Datatypes
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·3h·
Discuss: Hacker News
🔍Information Retrieval
The relentless drive toward simplified design ↦
sixcolors.com·1d
🎨Swedish Design Philosophy
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Five-arc fractal
11011110.github.io·11h
📐Mathematical Art
Answer: Best ways to do just-in-time learning. Part 3: getting a teaching summary with NotebookLM
searchresearch1.blogspot.com·42m·
Discuss: searchresearch1.blogspot.com
🤖Automated Parsing
Nytek Calculator
play.google.com·11h·
Discuss: Hacker News
📐Document Calculus
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1d
📐Geometric Hashing
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·17h
📰Content Curation
The Logical Argument
blog.computationalcomplexity.org·44m·
Discuss: blog.computationalcomplexity.org
🔬Logic in Computer Science
Dependent types I › Universes, or types of types
jonmsterling.com·15h·
Discuss: Hacker News
🔤Type Theory
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·2d
📐Mathematical Art
Regarding formatting issues with AI-generated copy
dev.to·15h·
Discuss: DEV
✅Format Verification
Is math discovered or invented?
mathwithbaddrawings.com·2d
📐Mathematical Art
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance